761. Theoretical computer science :
Author: edited by Lian Li, Pinyan Lu, Kun He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
762. Theory and Design of Digital Computer Systems
Author: by Douglas Lewin, David Noaks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Microprogramming.
Classification :
TK7888
.
3
B936
1992
763. Theory and Practice of Model Transformations :
Author: edited by Keith Duddy, Gerti Kappel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
D47
E358
2013
764. Theory and Practice of Model Transformations
Author: edited by Zhenjiang Hu, Juan Lara
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
765. Theory and Practice of Parallel Programming :
Author: edited by Takayasu Ito, Akinori Yonezawa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer system failures.,Microprocessors.
Classification :
TK7895
.
M5
E358
1995
766. Theory and practice of natural computing :
Author: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
Classification :
QA76
.
9
.
A43
767. Thinking-driven testing :
Author: Adam Roman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
Classification :
QA76
.
758
768. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
62
.
F84
1998
769. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Functional programming )Computer science( - Congresses , Logic programming - Congresses
Classification :
QA
76
.
62
.
F84
1998
770. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
Author: edited by Ehud Shapiro
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L4
v
.
225
771. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
Author: edited by Ehud Y. Shapiro
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
225
772. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
773. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
774. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
775. Towards evolvable hardware : the evolutionary engineering approach
Author: Eduardo Sanchez, Marco Tomassini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
1062
776. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
Author: Burkhard Freitag...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Deductive databases,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1472
777. Trees in Algebra and Programming - CAAP '96 :
Author: edited by Hélène Kirchner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers)
Classification :
QA166
.
2
E358
1996
778. Trends, Techniques, and Problems in Theoretical Computer Science :
Author: edited by Alica Kelemenová, Jozef Kelemen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Statistics.
779. Trends in Artificial Intelligence :
Author: edited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer Science.
Classification :
Q334
.
E358
1991
780. Trends in Functional Programming :
Author: edited by Jay McCarthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
62
E358
2014
